Search results for "Conditional probability assessments"

showing 5 items of 5 documents

Coherent conditional probabilities and proper scoring rules

2011

In this paper we study the relationship between the notion of coherence for conditional probability assessments on a family of conditional events and the notion of admissibility with respect to scoring rules. By extending a recent result given in literature for unconditional events, we prove, for any given strictly proper scoring rule s, the equivalence between the coherence of a conditional probability assessment and its admissibility with respect to s. In this paper we focus our analysis on the case of continuous bounded scoring rules. In this context a key role is also played by Bregman divergence and by a related theoretical aspect. Finally, we briefly illustrate a possible way of defin…

total coherenceSettore MAT/06 - Probabilita' E Statistica Matematicabregman divergencestrong dominanceconditional scoring rulesConditional probability assessments coherence penalty criterion proper scoring rules conditional scoring rules weak dominance strong dominance admissibility Bregman divergence g-coherence total coherence imprecise probability assessments.weak dominancestrong dominance; conditional probability assessments; imprecise probability assessments; gcoherence; proper scoring rules; bregman divergence; weak dominance; coherence; imprecise probability assessments.; admissibility; g-coherence; penalty criterion; conditional scoring rules; total coherencepenalty criteriongcoherenceproper scoring rulescoherenceconditional probability assessmentsg-coherenceimprecise probability assessmentsadmissibility
researchProduct

Probabilistic Logic under Coherence: Complexity and Algorithms

2005

In previous work [V. Biazzo, A. Gilio, T. Lukasiewicz and G. Sanfilippo, Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P, Journal of Applied Non-Classical Logics 12(2) (2002) 189---213.], we have explored the relationship between probabilistic reasoning under coherence and model-theoretic probabilistic reasoning. In particular, we have shown that the notions of g-coherence and of g-coherent entailment in probabilistic reasoning under coherence can be expressed by combining notions in model-theoretic probabilistic reasoning with concepts from default reasoning. In this paper, we continue this line of research. Based on the above sem…

conditional probability assessmentSettore MAT/06 - Probabilita' E Statistica MatematicaDivergence-from-randomness modelalgorithmsprobabilistic logicConditional probability assessments; probabilistic logic; g-coherence; g-coherent entailment; complexity and algorithms.Artificial IntelligenceProbabilistic logic networkprobabilistic logic under coherenceConditional probability assessmentsProbabilistic analysis of algorithmsNon-monotonic logicconditional constraintMathematicsg-coherent entailmentConditional probability assessments probabilistic logic g-coherence g-coherent entailment complexity and algorithms.Reasoning systemcomputational complexitymodel-theoretic probabilistic logicApplied Mathematicscomplexity and algorithmsProbabilistic logiclogical constraintProbabilistic argumentationg-coherenceconditional probability assessment logical constraint conditional constraint probabilistic logic under coherence model-theoretic probabilistic logic g-coherence g-coherent entailment computational complexity algorithmsProbabilistic CTLalgorithms; computational complexity; conditional constraint; conditional probability assessment; g-coherence; g-coherent entailment; logical constraint; model-theoretic probabilistic logic; probabilistic logic under coherenceAlgorithmAnnals of Mathematics and Artificial Intelligence
researchProduct

Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning in System P

2016

We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore how probabilistic reasoning under coherence is related to model-theoretic probabilistic reasoning and to default reasoning in System P. In particular, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Moreover, we show that probabilistic reasoning under coherence is a generalization of default reasoning in System P. That is, we provide a new probabilistic semantics for System P, which neither uses infinitesimal probabilities nor atomic bound (or bi…

Deductive reasoningSettore MAT/06 - Probabilita' E Statistica MatematicaConditional probability assessments conditional constraints probabilistic logic under coherence model-theoretic probabilistic logic g-coherence g-coherent entailment defaultreasoning from conditional knowledge bases System P conditional objects.conditional constraintsLogicDefault logicStatistics::Other StatisticsProbabilistic logic networkConditional probability assessmentsprobabilistic logic under coherenceNon-monotonic logicSystem PMathematicsg-coherent entailmentHardware_MEMORYSTRUCTURESmodel-theoretic probabilistic logicbusiness.industryProbabilistic logicSystem P; g-coherence; conditional objectsCoherence (statistics)default reasoning from conditional knowledge basesProbabilistic argumentationConditional probability assessments; conditional constraints; probabilistic logic under coherence; model-theoretic probabilistic logic; g-coherence; g-coherent entailment; default reasoning from conditional knowledge bases; System P; conditional objects.Philosophyg-coherenceProbabilistic CTLArtificial intelligencebusinessAlgorithmconditional objectsJournal of Applied Non−Classical Logics
researchProduct

Algorithms for coherence checking and propagation of conditional probability bounds

2001

In this paper, we propose some algorithms for the checking of generalized coherence (g-coherence) and for the extension of imprecise conditional probability assessments. Our concept of g-coherence is a generalization of de Finetti’s coherence principle and is equivalent to the ”avoiding uniform loss” property for lower and upper probabilities (a la Walley). By our algorithms we can check the g-coherence of a given imprecise assessment and we can correct it in order to obtain the associated coherent assessment (in the sense of Walley and Williams). Exploiting some properties of the random gain we show how, in the linear systems involved in our algorithms, we can work with a reduced set of va…

reduced sets of variables and constraintsSettore MAT/06 - Probabilita' E Statistica MatematicaUncertain knowledgeUncertain knowledge probabilistic reasoning under coherence imprecise conditional probability assessments g-coherence checking g-coherent extension algorithms computational aspects reduced sets of variables reduced sets of linear constraints.g-coherent extensionimprecise conditional probability assessmentsg-coherence checkingUncertain knowledge; probabilistic reasoning under coherence; imprecise conditional probability assessments; g-coherence checking; g-coherent extension; algorithms.; computational aspects; reduced sets of variables and constraints.algorithmsprobabilistic reasoning under coherencecomputational aspects
researchProduct

Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning

2001

We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore the relationship between coherence-based and model-theoretic probabilistic logic. Interestingly, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Crucially, we even show that probabilistic reasoning under coherence is a probabilistic generalization of default reasoning in system P. That is, we provide a new probabilistic semantics for system P, which is neither based on infinitesimal probabilities nor on atomic-bound (or also big-stepped) probabil…

Deductive reasoningSettore MAT/06 - Probabilita' E Statistica MatematicaKnowledge representation and reasoningComputer scienceDefault logicDivergence-from-randomness modelLogic modelcomputer.software_genreLogical consequenceProbabilistic logic networkConditional probability assessments conditional constraints probabilistic logic under coherence model-theoretic probabilistic logic g-coherence g-coherent entailment default reasoning from conditional knowledge bases System P conditional objectsprobabilistic logic under coherenceNon-monotonic logicProbabilistic relevance modeldefault reasoningmodel-theoretic probabilistic logicbusiness.industryProbabilistic logicProbabilistic argumentationExpert systemg-coherencesystem pProbabilistic CTLArtificial intelligencebusinesscomputerdefault reasoning; g-coherence; model-theoretic probabilistic logic; probabilistic logic under coherence; system p
researchProduct